منابع مشابه
Craig Interpolation via Hypersequents
In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and apply the method to prove the CIP for the modal logic S5.
متن کاملCraig Interpolation of PDL
It seems to be an open question whether Propositional Dynamic Logic (PDL) has Craig Interpolation. In fact, it even seems to be an open question if this is an open question: Multiple proofs have been claimed to be found but all of them also have been claimed to be wrong, both more or less publicly. This report tries to clarify the situation by discussing the proof by Daniel Leivant [11] from 19...
متن کاملConstructing Craig Interpolation Formulas
1 Background and Introduction Let 27 and H be two inconsistent first order theories. Then by Craig's Interpolation Theorem, there is a sentence 8, called a Craig interpolant, such that 8 is t rue in 27 and false in H and every nonlogical symbol occurring in 8 occurs in bo th 27 and H. Craig interpolants can be used to solve the problem of learning a first order concept by letting 27 and H be th...
متن کاملOn Equational Craig Interpolation
Generalizations of Craig interpolation are investigated for equational logic. Our approach is to do as much as possible at a categorical level, before drawing out the concrete implications.
متن کاملCraig Interpolation in Displayable Logics
We give a general proof-theoretic method for proving Craig interpolation for displayable logics, based on an analysis of the individual proof rules of their display calculi. Using this uniform method, we prove interpolation for a spectrum of display calculi differing in their structural rules, including those for multiplicative linear logic, multiplicative additive linear logic and ordinary cla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1967
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093956088